Main developper:
  Eugen Zalinescu (eugen.zalinescu@inf.ethz.ch)

Contributor:
  Matus Harvan (matus.harvan@inf.ethz.ch)

Coordinators:
  Felix Klaedtke (felix.klaedtke@inf.ethz.ch)
  David Basin (david.basin@inf.ethz.ch)
  Debmalya Biswas (debmalya.biswas@nokia.com)
